منابع مشابه
Language preorder as a precongruence
Groote and Vaandrager introduced the tyft format, which is a congruence format for strong bisimulation equivalence. This article proposes additional syntactic requirements on the tyft format, extended with predicates, to obtain a precongruence format for language preorder.
متن کاملA precongruence format for should testing preorder
Should testing preorder was proposed as a liveness-preserving precongruence for a process algebra except for nondeterministic choice operator [22]. However, this precongruce result cannot be generalized to other languages before carefully proved. In this paper, we show that τDes format is a precongruence format for should testing preorder. A precongruence format guarantees the precongruence of ...
متن کاملlanguage as a prison
language is man's most important perceptive devices . except for rare casos, language is the only means which leads to man's thoughts. yet at times man's perception is so intricate, complicated and vast that language fails to reflect it, and that is where langugc which used tu release ones ideas from the prison his or mind will yet turnin to another prison confining one's th...
متن کاملcritical period effects in foreign language learning:the influence of maturational state on the acquisition of reading,writing, and grammar in english as a foreign language
since the 1960s the age effects on learning both first and second language have been explored by many linguists and applied linguists (e.g lennerberg, 1967; schachter, 1996; long, 1990) and the existence of critical period for language acquisition was found to be a common ground of all these studies. in spite of some common findings, some issues about the impacts of age on acquiring a second or...
15 صفحه اولA Preorder Relation for Markov Reward Processes
A new preorder relation is introduced that orders states of a Markov process with an additional reward structure according to the reward gained over any interval of finite or infinite length. The relation allows the comparison of different Markov processes and includes as special cases monotone and lumpable Markov processes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00267-9